9,231 research outputs found

    FPGA based remote code integrity verification of programs in distributed embedded systems

    Get PDF
    The explosive growth of networked embedded systems has made ubiquitous and pervasive computing a reality. However, there are still a number of new challenges to its widespread adoption that include scalability, availability, and, especially, security of software. Among the different challenges in software security, the problem of remote-code integrity verification is still waiting for efficient solutions. This paper proposes the use of reconfigurable computing to build a consistent architecture for generation of attestations (proofs) of code integrity for an executing program as well as to deliver them to the designated verification entity. Remote dynamic update of reconfigurable devices is also exploited to increase the complexity of mounting attacks in a real-word environment. The proposed solution perfectly fits embedded devices that are nowadays commonly equipped with reconfigurable hardware components that are exploited to solve different computational problems

    Asymptotics of the solutions of the stochastic lattice wave equation

    Full text link
    We consider the long time limit theorems for the solutions of a discrete wave equation with a weak stochastic forcing. The multiplicative noise conserves the energy and the momentum. We obtain a time-inhomogeneous Ornstein-Uhlenbeck equation for the limit wave function that holds both for square integrable and statistically homogeneous initial data. The limit is understood in the point-wise sense in the former case, and in the weak sense in the latter. On the other hand, the weak limit for square integrable initial data is deterministic

    Long time, large scale limit of the Wigner transform for a system of linear oscillators in one dimension

    Get PDF
    We consider the long time, large scale behavior of the Wigner transform W_\eps(t,x,k) of the wave function corresponding to a discrete wave equation on a 1-d integer lattice, with a weak multiplicative noise. This model has been introduced in Basile, Bernardin, and Olla to describe a system of interacting linear oscillators with a weak noise that conserves locally the kinetic energy and the momentum. The kinetic limit for the Wigner transform has been shown in Basile, Olla, and Spohn. In the present paper we prove that in the unpinned case there exists γ0>0\gamma_0>0 such that for any γ(0,γ0]\gamma\in(0,\gamma_0] the weak limit of W_\eps(t/\eps^{3/2\gamma},x/\eps^{\gamma},k), as \eps\ll1, satisfies a one dimensional fractional heat equation tW(t,x)=c^(x2)3/4W(t,x)\partial_t W(t,x)=-\hat c(-\partial_x^2)^{3/4}W(t,x) with c^>0\hat c>0. In the pinned case an analogous result can be claimed for W_\eps(t/\eps^{2\gamma},x/\eps^{\gamma},k) but the limit satisfies then the usual heat equation

    Understanding the Transition between High School and College Mathematics and Science

    Get PDF
    Mathematics and science education is gaining increasing recognition as key for the well-being of individuals and society. Accordingly, the transition from high school to college is particularly important to ensure that students are prepared for college mathematics and science. The goal of this study was to understand how high school mathematics and science course-taking related to performance in college. Specifically, the study employed a nonparametric regression method to examine the relationship between high school mathematics and science courses, and academic performance in college mathematics and science courses. The results provide some evidence pertaining to the positive benefits from high school course-taking. Namely, students who completed high school trigonometry and lab-based chemistry tended to earn higher grades in college algebra and general chemistry, respectively. However, there was also evidence that high school coursework in biology and physics did not improve course performance in general biology and college physics beyond standardized test scores. Interestingly, students who completed high school calculus earned better grades in general biology. The implications of the findings are discussed for high school curriculum and alignment in standards between high schools and colleges

    Calcium channel Orai1 promotes lymphocyte IL-17 expression and progressive kidney injury

    Get PDF
    We hypothesized that the store-operated calcium entry (SOCE) channel, Orai1, participates in the activation of Th17 cells and influences renal injury. In rats, following renal ischemia/reperfusion (I/R), there was a rapid and sustained influx of Orai1+ CD4 T cells and IL-17 expression was restricted to Orai1+ cells. When kidney CD4+ cells of post-acute kidney injury (post-AKI) rats were stimulated with angiotensin II and elevated Na+ (10-7 M/170 mM) in vitro, there was an enhanced response in intracellular Ca2+ and IL-17 expression, which was blocked by SOCE inhibitors 2APB, YM58483/BTP2, or AnCoA4. In vivo, YM58483/BTP2 (1 mg/kg) attenuated IL-17+ cell activation, inflammation, and severity of AKI following either I/R or intramuscular glycerol injection. Rats treated with high-salt diet (5-9 weeks after I/R) manifested progressive disease indicated by enhanced inflammation, fibrosis, and impaired renal function. These responses were significantly attenuated by YM58483/BTP2. In peripheral blood of critically ill patients, Orai1+ cells were significantly elevated by approximately 10-fold and Th17 cells were elevated by approximately 4-fold in AKI versus non-AKI patients. Further, in vitro stimulation of CD4+ cells from AKI patients increased IL-17, which was blocked by SOCE inhibitors. These data suggest that Orai1 SOCE is a potential therapeutic target in AKI and CKD progression
    corecore